Diagram is a series of Macros intended to produce easily rather sophisticated diagrams which can appear when typing category theory. The range of arrows which can be produced includes plain morphisms, dotted morphisms, monomorphisms, epimorphisms, bimorphisms, isomorphisms, equalities, pairs of parallel arrows and pairs of adjoint arrows. Most arrows can be drawned in the sixteen basic directions of the compass-card (and this inspires the terminology). Some curved arrows are also available. All these arrows can be given a name, on either side of the arrow. For emphasizing, arrows can be printed in bold-face type. Except for some special features, the Macros will take care of choosing the correct length of each arrow as well as positioning correctly the various elements which appear in the diagram. The final result will be a diagram with rows and columns at a distance of 80 points (1.1in, 28mm) from each other; this standard distance can be changed for every individual diagram just by giving a scaling factor.
Diagram includes also a list of in-text symbols containing in particular the same variety of arrows in both the forward and the backward directions.
The Diagram Macros are LATEX Macros which make an intensive use of the LATEX picture environment and in particular of the ++ command. To use them for producing a document, it suffices to have in your TEX file a copy of the file diagram and to call it with the command +
="0200
[1`1`1`1`1;500]500
+, in the preamble of your new document. TheDiagram macros will give good results with 10pt, 11pt and 12pt styles.The following sections should provide you with full information on how to use the Diagram macros for producing your documents.